mechanical theory proving
[计] 机器理论证明
热门查询
- Antiqua 西文粗体字
- pcp abbr. 五氯苯酚（pentachlorophenol，一种迷幻药）；苯环己哌啶（phencyclidine，等于angel dust，医用麻醉药）；主控程序（Primary Control Program）
- distinctness n. 不同；明显；有特殊性
- building society n. 房屋互助协会（提供住房贷款及储蓄服务） [网络] 建房互助协会；建筑社团；建筑协会
- Nabisco n. 纳贝斯克
- Cassandra n. 卡珊德拉（希腊神话人物）；凶事预言家；不为人所信的预言家
- inexorable adj. 无情的；不屈不挠的；不可阻挡的；无法改变的
- undoing n. 毁灭；取消；毁灭的原因 vt. 解开；取消（undo的ing形式）
- palpable adj. 明显的；可感知的；易觉察的
- listing n. 列表，清单 v. 列表（list的现在分词） n. (Listing)人名；(德)利斯廷
- Monsieur n. （法）先生；绅士
- consolidation n. 巩固；合并；团结
- calmly adv. 冷静地；平静地；安静地
- JENKINSON [人名] [英格兰人姓氏] 詹金森取自父名，来源于Jenkin,含义是“詹金之子”(son of Jenkin)
- bey n. （中东地区国家的）省长；对地位高的人的尊称 n. (Bey)人名；(英、西、刚(金)、土、阿拉伯)贝；(德)拜
- rightfully adv. 正当地；正直地
- dowager n. 贵妇；继承亡夫爵位的遗孀；老年贵妇人
- saltbox 不对称双坡顶房屋 盐盒式建筑
- conventionally adv. 照惯例，照常套
- recklessly adv. 鲁莽地；不顾一切地
考试词汇表
- extreme accuracy
- extreme altitude
- extreme attitude
- extreme bacteria
- extreme close-up
- extreme contrast
- extreme end link
- extreme fighting
- extreme infrared
- extreme interval
- extreme parallel
- extreme position
- extreme pressure
- extreme unctions
- extremely feeble
- extremely urgent
- extremely useful
- extremily feeble
- extremity circle
- extremity girdle
